Browsing by Subject "Java sockets"
Now showing items 1-3 of 3
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Brief announcement: A formal treatment of an abstract channel implementation using java sockets and TCP
(2007)Abstract models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are offset by the challenging process ...
-
Article
An evaluation of the Java-based approaches to web database access
(2001)Given the undeniable popularity of the Web, providing efficient and secure access to remote databases using a Web browser is crucial for the emerging cooperative information systems and applications. In this paper, we ...